Discrete time finite servers - infinite capacity model